x86: Always respect guest setting CR4.TSD
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 26 Nov 2009 11:24:50 +0000 (11:24 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 26 Nov 2009 11:24:50 +0000 (11:24 +0000)
commitc6560c98612a2860e928e8e2d9899369a81e29d4
tree39deca44897b3edc58c8729f7dbfbd3695065364
parent833cce002f0fbebf87a2a71f195b9447e0ef73e5
x86: Always respect guest setting CR4.TSD

Also fix guest reads of CR4.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/time.c
xen/arch/x86/traps.c